Философский энциклопедический словарь - модальная логика
Связанные словари
Модальная логика
модальная логика
— логическая система, изучающая структуру рассуждений, в состав к-рых входят модальности (модальные операторы): “необходимо”, “возможно”, “действительно”, “случайно” — и их отрицания. В трудах Аристотеля, стоиков, схоластов уже были сформулированы нек-рые осн. определения и законы М. л. Исследование модальностей средствами математической (символической) логики было начато К. Льюисом и Лукасевичем. Ими были предложены системы М. л., в к-рых модальности носят абсолютный характер, т. е. приписываются высказыванию безотносительно к к.-л. другому высказыванию. В настоящее время исследуются т. наз. релевантные М. л., включающие относительные модальности. В зависимости от смысла, к-рый вкладывается в модальные операторы, различают логику алогических модальностей, логику эпистемологических модальностей и деонтическую логику. Важные результаты в области семантики М. л. получены С. Крипке.
Рейтинг статьи:
См. в других словарях
1.
раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. Так, теория логических модальностей изучает логическое поведение высказываний, включающих модальные понятия "логически необходимо", "логически возможно", "логически случайно". Логика эпистемическая исследует высказывания, содержащие разного рода теоретико-познавательные понятия: "верифицируемо", "непроверяемо", "фальсифицируемо", "полагает", "сомневается", "отвергает" и т. п. Деонтическая логика изучает логические связи нормативных высказываний. Оценок логика занимается аксиологическими модальностями, логика времени временными модальностями и т. д. Модальные понятия разных типов имеют общие формальные свойства. Так, независимо от того, к какой группе относятся эти понятия, они определяются друг через друга по одной и той же схеме. Нечто возможно, если противоположное не является необходимым; разрешено, если противоположное не обязательно; допускается, если нет...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2504 | |
2 | 2321 | |
3 | 1991 | |
4 | 1976 | |
5 | 1925 | |
6 | 1830 | |
7 | 1724 | |
8 | 1659 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1381 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |